graph theory:induced subgraph